1. Category theory and computer science
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C388
1987
2. Category theory and computer science
Author: / D.H. Pitt ... [et al.] (ed.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming--Congresses,Categories (Mathematics)--Congresses
Classification :
QA
,
76
.
6
,.
C3882
,
1989
3. Category theory and computer science :
Author: D.H. Pitt [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
Classification :
QA75
.
5
.
S86
1991
4. Category theory and computer science
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Programming- Congresses►Categories (Mathematics)- Congresses
Classification :
76
.
6
.
C38
5. Category theory and computer science
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
76
.
6
.
C3882
1989
6. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
283
7. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses
Classification :
QA76
.
6
.
C388
1987
R
8. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: D.H. Pitt ... )et al.( )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
389
9. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C3882
1989
10. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
Author: D.H. Pitt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
389
11. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... [et al.] (ed.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses
Classification :
QA76
.
6
.
C3882
1989
R
12. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
Author: David Pitt, David E. Rydeheard, Peter Johnstone, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
Classification :
QA
76
.
6
.
B53
1995
13. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
Author: / Eugenio Moggi, Giuseppe Rosolini(eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
,.
6
.
B53
14. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
15. Proof and system-reliability
Author: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
16. category theory and computer science:6th international conference,CTCS,95,Cambridge ,united kingdom,Augest 7-11,1995
Author: DAvid Pitt,David E.Rydehead,Peter Johnstone,eds
Library: Vali Asr University Central Library (Kerman)
Subject: computer programming--congresses,categories)mathematics(-congreses
Classification :
QA
76
.
6
.
B53
1995
